<body>
Various ways to compute an asserting clause (containing one Unique Implication Point).
</body>